This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...
Lee masThis book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
Lee masThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Lee masThis book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Lee masThis volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...
Lee masThis book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational ...
Lee masThis book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
Lee masThis book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...
Lee masThis book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Lee masThis volume systematically sets out the basic elements on which to base financial analysis for business in the new century. ...
Lee masThis book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures ...
Lee masThis book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in ...
Lee masThis book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
Lee masThis book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Knowledge Discovery, ...
Lee masThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Lee masThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Lee masThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Lee masThis book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
Lee masThis book is at the interface of logic, philosophy and science. It is intended for readers with interest and/or current involvement ...
Lee masThis book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...
Lee mas